Reasoning about Choice
نویسندگان
چکیده
We present a logic for reasoning about choice. Choice CTL (C-CTL) extends the well-known branching-time temporal logic CTL with choice modalities, “3” and “2”. An example C-CTL formula is 3AFhappy , asserting that there exists a choice that will lead to happiness. C-CTL is related to both STIT logics and temporal cooperation logics such as ATL, but has a much simpler and (we argue) more intuitive syntax and semantics. After presenting the logic, we investigate the properties of the language. We characterise the complexity of the C-CTL model checking problem, investigate some validities, and propose multiagent extensions to the logic.
منابع مشابه
Comparison between key feature exam and multiple choice questions in internal medicine department of Shiraz University of medical sciences
Introduction: Clinical reasoning skills play a major role in the ability of doctors to make diagnosis and reach treatment decisions. This study is a report of use an innovative assessment tool: key feature exam, in problem solving domain. The main purpose of this study was to compare key feature results with routine multiple choice questions in internal medicine department. Methods: Final year ...
متن کاملمقایسه تفکر انتقادی در دانشجویان سال اول و آخر کارشناسی اطاق عمل و هوشبری دانشگاه علوم پزشکی بیرجند در سال 1390
Introduction: Raising powers of reasoning, inference and judgment, is the main destination. Critical thinking skills education should be the main priority in the education program planning. Teaching critical thinking can lead to increased learning, problem-solving skills, decision making and be creative. students who have critical and creative thinking have less wrong theoretical judgments and ...
متن کاملLogics of Interaction , Coalitions and Social Choice ( extended abstract )
While different forms of social interaction have been extensively studied in several fields, the development of formal logics makes precise knowledge representation and mechanical reasoning about situations involving social interaction possible. In particular, such logics make it possible to formally specify and verify software implementing social mechanisms. In my talk I will give an overview ...
متن کاملPsychometric characteristics of clinical reasoning problems (CRPs) and its correlation with routine multiple choice question (MCQ) in cardiology department
Introduction: Clinical reasoning is one of the most importantskills in the process of training a medical student to become anefficient physician. Assessment of the reasoning skills in a medicalschool program is important to direct students’ learning. One ofthe tests for measuring the clinical reasoning ability is ClinicalReasoning Problems (CRPs). The major aim of this study is tomeasure psycho...
متن کاملThe Effect of Bayesian Reasoning Training on the Results of Clinical Reasoning Tests of Interns
Introduction: Clinical reasoning includes a range of thinking about clinical medicine at all stages of patient evaluation. Bayesian theory can be used to refute or confirm differential diagnoses in the clinical reasoning process. In this way, by learning the basic mathematical language of probability in medicine, we can change our beliefs according to new evidence. The aim of this study is to i...
متن کاملA Computational Account of Social Reasoning
People are amateur social psychologists: they explain other people’s behavior, infer what other people are thinking and feeling, and predict how other people will act. I will refer to this sort of psychologizing as social reasoning in order to highlight the fact that it involves reasoning about people. Social reasoning often requires significant leaps of inductive inference: people infer others...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013